Math.Comput.Sci:71–97 DOIs11786y Mathematics in Computer Science Collaborative Verification-Driven Engineering

Source URL: www.utc.ices.cmu.edu

• Unified Modeling Language
• Model-driven architecture
• Object Management Group
• Modeling language
• KeY
• Hybrid system
• Model checking
• Metamodeling
• Systems Modeling Language
• Object Process Methodology
• Formal verification
• Hybrid automaton

Microsoft Word - SpatialCognition_Preps_v12_KL.doc

Source URL: www.silccenter.org

• Parts of speech
• Preposition and postposition
• Syntax
• Psychology
• Generalization
• Van
• Object Process Methodology

A Catalog of Patterns for Concept Lattice Interpretation in Software Reengineering Muhammad U.Bhatti∗ , Nicolas Anquetil∗ , Marianne Huchard† , and St´ephane Ducasse∗ ∗ RMoD Project-Team INRIA - Lille Nord Eu

Source URL: rmod.inria.fr

• Lattice theory
• Lie groups
• Data mining
• Formal concept analysis
• Machine learning
• Ontology
• Complete lattice
• Lattice
• Object-oriented programming
• Algebraic structure
• Software design pattern
• Object Process Methodology

Service System Modelling : a shared representation and a web-based tool for the collaboration of the telecoms’ innovators Florie Bugeaud a, b and Eddie Soulier a a

Source URL: wic.litislab.fr

• Semantic Web
• Information science
• Technical communication
• Knowledge representation
• Ontology
• Mereology
• Object Process Methodology
• Web Ontology Language
• Scientific modelling
• Service design
• Collaborative software
• Upper ontology

Source URL: www.pa.icar.cnr.it

• Information science
• Technical communication
• Knowledge representation
• Knowledge engineering
• Semantic Web
• Ontology
• Metamodeling
• Object Process Methodology
• Process ontology
• Upper ontology

Generating driving directions for intelligent vehicles interfaces Barbara Di Eugenio Computer Science University of Illinois at Chicago Chicago, IL 60607, USA

Source URL: nlp.cs.uic.edu

• User interfaces
• Natural language generation
• Computational linguistics
• Multimodal interaction
• Natural language processing
• Dialog system
• Archy
• Prolog
• Here
• Object Process Methodology
• Aggregation

InContext: Simple Parallelism for Distributed Applications Sunghwan Yoo1 , Hyojeong Lee1 , Charles Killian1 , and Milind Kulkarni2 1 Department of Computer Science, 2 School of Electrical and Computer Engineering

Source URL: www.macesystems.org

• Programming paradigms
• Fault-tolerant computer systems
• Distributed algorithms
• Process
• Concurrent computing
• Parallel computing
• Event-driven programming
• Snapshot
• Event
• Complex event processing
• Object Process Methodology
• Thread

Taming Multi-Paradigm Integration in a Software Architecture Description Language Daniel Balasubramanian, Tihamer Levendovszky, Abhishek Dubey, and Gábor Karsai Institute for Software Integrated Systems Department of El

Source URL: ceur-ws.org

• Software architecture
• Array programming languages
• Architecture description language
• Systems architecture
• Earth sciences graphics software
• Architecture Analysis & Design Language
• Interface description language
• IDL
• Modeling language
• Component-based software engineering
• Xtext
• Object Process Methodology

Electronic Communications of the EASST VolumeProceedings of the Workshop on OCL and Textual Modelling (OCL 2011)

Source URL: gres.uoc.edu

• Unified Modeling Language
• Object Constraint Language
• ECO
• Expression
• Eval
• Object Process Methodology
• Scope
• Regular expression
• Parsing
• Tuple

Załącznik nr 3 do wytycznych dla rad podstawowych jednostek organizacyjnych do tworzenia nowych i weryfikacji istniejących programów studiów I i II stopnia w UTP w Bydgoszczy Course code

Source URL: cae.utp.edu.pl

• Process management
• Enterprise architecture
• Six Sigma
• Information technology management
• Object Process Methodology
• Project management
• Lean Six Sigma
• Business process management
• Enterprise modelling
• Enterprise engineering
• Mechanical engineering
• Manufacturing engineering